|
|
Kongruence pro stromové automaty
Žufan, Petr ; Janků, Petr (oponent) ; Holík, Lukáš (vedoucí práce)
Tento článek pojednává o testování ekvivalence stromových automatů (TA). Přináší nový algoritmus vycházející z algoritmu Bonchiho a Pouse pro slovní automaty. Tento nový algoritmus spojuje bisimulaci s determinizací za běhu. Pomocí optimalizace založené na kongruenčním uzávěru se snaží vyhýbat extrémnímu zvětšování stavového prostoru. Z tohoto hlediska je lepší než jiné metody pro tento problém.
|
|
|
A Combination of Automata and Grammars
Kučera, Jiří ; Horáček, Petr (oponent) ; Meduna, Alexandr (vedoucí práce)
In this work, a new systems of formal models, called state-synchronized automata systems of degree n , were introduced and studied. The computation in presented automata systems is controlled by words from finite control language, where every word from control language is a sequence of states. Furthermore were studied the computational power of these systems. The practical use of introduced systems was demonstrated on example of natural language translation and on example of parallel compiling.
|
|
|
Mechatronický návrh stroje pro výrobu nábytkových spojovacích kolíků
Šubrt, Kamil ; Andrš, Ondřej (oponent) ; Houška, Pavel (vedoucí práce)
Tato práce se zabývá návrhem samostatně pracujícího stroje na výrobu nábytkových kolíků z válcových polotovarů. V práci je provedena analýza možností automatizace výroby nábytkářských kolíků, která vychází z dlouhodobých zkušeností s jejich výrobou. Následně je proveden návrh stroje s využitím metodiky V-cyklu. V rámci návrhu je postupně vyvíjena konstrukce stroje a řízení. Konstrukce stroje prezentovaná 3D CAD modelem je připojena do vývojového prostředí NI LabVIEW a prostřednictvím kosimulace bylo navrženo a ověřeno řízení stroje. Postupnými vývojovými iteracemi bylo dosaženo návrhu stroje, který splňuje stanovené požadavky. V závěru práce je provedena analýza volby vhodného řídícího systému pro reálný stroj.
|
|
|
Nové verze skákajících automatů
Ošmera, Lubomír ; Kocman, Radim (oponent) ; Meduna, Alexandr (vedoucí práce)
Cílem této bakalářské práce je návrh a výzkum nových verzí skákajících automatů, konkrétně se jedná o verze obecných skákajících automatů s jasně specifikovanými kritérii směru a velikosti skoku. Práce zkoumá jejich sílu v porovnání s ostatními typy automatů a odhaluje ekvivalentní modely gramatik. Důvodem vypracování této práce je výzkum a snaha o vylepšení některých vlastností obecného skákajícího automatu. Následně je v práci zváženo využití tohoto formálního prostředku za účelem zpracování určitého typu jazyků a využití v průběhu syntaktické analýzy.
|
|
|
Ovládací software manipulátoru Mini-Swing
Pražák, Ondřej ; Hejč, Tomáš (oponent) ; Houška, Pavel (vedoucí práce)
Bakalářská práce se zabývá řízením robotického manipulátoru Mini-swing se třemi řízenými osami. Pro řízení byla navržena a realizována řídicí aplikace pro řízení pohybu celého manipulátoru s možností zadávání pracovních bodů. Dále byla navržena a realizována real-time řídicí aplikace pro řízení pohybu samostatných motorů. Obě aplikace jsou realizovány v prostředí NI LabVIEW. Aplikace mezi sebou navzájem komunikují pomocí sdílených síťových proměnných.
|
|
|
Částečně paralelní hluboké zásobníkové automaty
Ševčík, Miroslav ; Zámečníková, Eva (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce zavádí částečně paralelní hluboké zásobníkové automaty jako rozšíření sekvenčních hlubokých zásobníkových automatů. Toto rozšíření spočívá v tom, že oproti sekvenční verzi je automat schopen provést expanzi n nejvýše položených nonterminálních symbolů na zásobníků současně. Tyto automaty jsou schopné rozpoznat třídu jazyků generovanou n-omezenými stavovými gramatikami stejně jako sekvenční hluboké zásobníkové automaty. Výhoda částečně paralelních hlubokých zásobníkových automatů je ale ve vyšší rychlosti. Dále je v této práci popsána implementace aplikace, která simuluje činnost těchto automatů.
|
|
|
Regulovaný syntaxí řízený překlad
Dvořák, Tomáš ; Kocman, Radim (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce se zabývá formálním pohledem na regulovaný syntaxí řízený překlad. První část obsahuje formální základy teorie jazyků, jejich klasifikaci a analýzu. Jsou uvedeny příklady gramatik generující jazyky, které nejsou bezkontextové, především maticové gramatiky, gramatiky s nahodilým kontextem a programované gramatika. Jsou uvedeny konečné, zásobníkové, hluboké a regulované automaty. Formálně vymezuje převodníky a jejich roli v rámci formálního a syntaxí řízeného překladu. Zavádí regulované převodníky založené na regulovaných automatech. Jádrem práce je návrh algoritmů regulované syntaktické analýzy jako rozšíření tradičních algoritmů prediktivní syntaktické analýzy. Tyto algoritmy jsou navrženy pro všechny uvedené speciální typy gramatik. Závěr práce je věnován návrhu jazyka jako prostředku pro popis těchto gramatik a překladače těchto gramatik na kód syntaktického analyzátoru a jejich grafického analyzátoru.
|
|
|
Řídicí systém tvářecího stroje
Vaško, Jiří ; Fojtík, Pavel (oponent) ; Kučera, Pavel (vedoucí práce)
Tato diplomová práce se zabývá realizací řídícího systému pro tvarovací stroj na výrobu cukrářských forem. Úvodní část představuje výrobní stroj a popisuje jeho důležité prvky z hlediska řízení. Druhá část se zabývá návrhem hardware řídícího automatu, popisem funkčních celků řídící desky a ostatních desek. Následující pasáže představují komunikační protokol mezi automatem a PC, a poté firmware CPU řídící desky. V závěrečné části je provedena charakteristika obslužné PC aplikace pro spojení s automatem.
|
|
|
Formal Systems Based on Automata and Grammars
Čermák, Martin ; Rybička, Jiří (oponent) ; Šaloun, Petr (oponent) ; Meduna, Alexandr (vedoucí práce)
The present thesis continues with study of grammar and automata systems. First of all, it deals with regularly controlled CD grammar systems with phrase-structure grammars as components. Into these systems, three new derivation restrictions are placed and their effect on the generative power of these systems are investigated. Thereafter, this thesis defines two automata counterparts of canonical multi-generative nonterminal and rule synchronized grammar systems, generating vectors of strings, and it shows that these investigated systems are equivalent. Furthermore, this thesis generalizes definitions of these systems and establishes fundamental hierarchy of n-languages (sets of n-tuples of strings). In relation with these mentioned systems, automaton-grammar translating systems based upon finite automaton and context-free grammar are introduced and investigated as a mechanism for direct translating. At the end, in this thesis introduced automata systems are used as the core of parse-method based upon n-path-restricted tree-controlled grammars.
|
|
| |
host ::
RSS.